翻訳と辞書 Words near each other ・ Dagga ・ Dagga Party ・ Daggaboers Nek ・ Daggakraal ・ Daggar, Pakistan ・ Daggaraga Dooramga ・ Daggatun ・ Daggavolu ・ Dagger ・ Dagger & Guitar ・ Dagger (disambiguation) ・ Dagger (typography) ・ Dagger alif ・ Dagger Beach ・ Dagger category ・ Dagger compact category ・ Dagger Complex ・ Dagger Eyes ・ Dagger head box ・ Dagger in the Library ・ Dagger Island ・ Dagger Lake ・ Dagger Mouth ・ Dagger of Daggers ・ Dagger of the Mind ・ Dagger Paths ・ Dagger Peak ・ Dagger Records ・ Dagger symmetric monoidal category ・ Dagger Woods, Nova Scotia Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Dagger compact category ： ウィキペディア英語版 Dagger compact category In mathematics, dagger compact categories (or dagger compact closed categories) first appeared in 1989 in the work of Doplicher and Roberts on the reconstruction of compact topological groups from their category of finite-dimensional continuous unitary representations (that is, Tannakian categories).〔S. Doplicher and J. Roberts, A new duality theory for compact groups, Invent. Math. 98 (1989) 157-218.〕 They also appeared in the work of Baez and Dolan as an instance of semistrict k-tuply monoidal n-categories, which describe general topological quantum field theories,〔J. C. Baez and J. Dolan, ''(Higher-dimensional Algebra and Topological Quantum Field Theory )'', J.Math.Phys. 36 (1995) 6073-6105〕 for n = 1 and k = 3. They are a fundamental structure in Abramsky and Coecke's categorical quantum mechanics.〔Samson Abramsky and Bob Coecke, ''( A categorical semantics of quantum protocols )'', Proceedings of the 19th IEEE conference on Logic in Computer Science (LiCS'04). IEEE Computer Science Press (2004).〕〔S. Abramsky and B. Coecke, ''( Categorical quantum mechanics )". In: Handbook of Quantum Logic and Quantum Structures, K. Engesser, D. M. Gabbay and D. Lehmann (eds), pages 261–323. Elsevier (2009).〕〔Abramsky and Coecke used the term strongly compact closed categories, since a dagger compact category is a compact closed category augmented with a covariant involutive monoidal endofunctor.〕 ==Overview== Dagger compact categories can be used to express and verify some fundamental quantum information protocols, namely: teleportation, logic gate teleportation and entanglement swapping, and standard notions such as unitarity, inner-product, trace, Choi-Jamiolkowsky duality, complete positivity, Bell states and many other notions are captured by the language of dagger compact categories.〔 All this follows from the completeness theorem, below. Categorical quantum mechanics takes dagger compact categories as a background structure relative to which other quantum mechanical notions like quantum observables and complementarity thereof can be abstractly defined. This forms the basis for a high-level approach to quantum information processing. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Dagger compact category」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.